group properties in abstract algebra